Неравенство кардинальных чисел
Неравенство кардинальных чисел
Определение:
$|A| \leq |B|$, если существует инъекция $f : A \to B$. При этом $f$ — биекция $A$ на $f(A)$, т.е. $A$ равномощно подмножеству в $B$.
Свойство:
$\leq$ — отношение порядка на множестве кардинальных чисел